1. Combinatorics, computability and logic :
Author: C.S. Calude, M.J. Dinneen and S. Sburlan, eds.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Combinatorial analysis -- Congresses.,Computational complexity -- Congresses.,Logic, Symbolic and mathematical -- Congresses.
2. Combinatorics, computability and logic :
Author: C.S. Calude, M.J. Dinneen and S. Sburlan, eds.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Combinatorial analysis -- Congresses.,Computational complexity -- Congresses.,Logic, Symbolic and mathematical -- Congresses.
Classification :
QA164
.
C733
2001
3. Finite automata, formal logic, and circuit complexity
Author: / Howard Straubing
Library: Central Library and Information Center of the University of Mohaghegh Ardabili (Ardabil)
Subject: Computer science- Mathematics,Automata,Logic, Symbolic and mathematical,Computational complexity
Classification :
QA76
.
9
.
M35
,
S77
1994
4. Finite automata, formal logic, and circuit complexity
Author: Straubing, Howard, 2591-
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Mathematics ، Computer science,، Machine theory,، Logic, Symbolic and mathematical,، Computational complexity
Classification :
QA
76
.
9
.
M35S77
5. Language and automata theory and applications :
Author: edited by Shmuel Tomi Klein, Carlos Martín-Vide, Dana Shapira.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Formal languages, Congresses.,Machine theory, Congresses.,Mathematical linguistics, Congresses.,Algorithms & data structures.,Artificial intelligence.,Computer programming-- software development.,Computers-- Intelligence (AI) & Semantics.,Computers-- Mathematical & Statistical Software.,Computers-- Programming-- Algorithms.,Computers-- Programming-- General.,Formal languages.,Machine theory.,Mathematical linguistics.,Mathematical theory of computation.,Mathematics-- Logic.,Maths for computer scientists.
Classification :
QA267
.
L38
2018
6. Logic and automata
Author: / edited by Jeorg Flum, Erich Greadel, Thomas Wilke
Library: Central Library and Document Center of Shahid Chamran University (Khuzestan)
Subject: Machine theory.,Logic, Symbolic and mathematical.,Computer science--Mathematics,Computational complexity.
Classification :
QA
,
267
,.
L624
,
2008
7. Logic and automata
Author:
Library: Central Library and Documents Center of Mazandaran University (Mazandaran)
Subject: Machine theory. ; Logic, Symbolic and mathematical. ; Computer science ; Mathematics. ; Computational complexity. ;
8. Semirings and Affine Equations over Them: Theory and Applications
Author: by Jonathan S. Golan.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Algebra.,Computational complexity.,Logic, Symbolic and mathematical.,Mathematical optimization.,Mathematics.
9. The P=NP question and Geodel's lost letter
Author: Richard J. Lipton
Library: Central Library and Information Center of Shahed University (Tehran)
Subject: Geodel's theorem,Computational complexity,Computer algorithms,Logic, Symbolic and mathematical
Classification :
QA
،
9
.
65
،.
L57
،
2010
10. The P=NP question and Geodel's lost letter
Author: / Richard J. Lipton
Library: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
Subject: Geodel's theorem,Computational complexity,Computer algorithms,Logic, Symbolic and mathematical
Classification :
E-BOOK
